Search results for "Compactness theorem"

Invariant density and time asymptotics for collisionless kinetic equations with partly diffuse boundary operators

2018

This paper deals with collisionless transport equationsin bounded open domains $\Omega \subset \R^{d}$ $(d\geq 2)$ with $\mathcal{C}^{1}$ boundary $\partial \Omega $, orthogonallyinvariant velocity measure $\bm{m}(\d v)$ with support $V\subset \R^{d}$ and stochastic partly diffuse boundary operators $\mathsf{H}$ relating the outgoing andincoming fluxes. Under very general conditions, such equations are governedby stochastic $C_{0}$-semigroups $\left( U_{\mathsf{H}}(t)\right) _{t\geq 0}$ on $%L^{1}(\Omega \times V,\d x \otimes \bm{m}(\d v)).$ We give a general criterion of irreducibility of $%\left( U_{\mathsf{H}}(t)\right) _{t\geq 0}$ and we show that, under very natural assumptions, if an …

Radó–Kneser–Choquet theorem

2014

We present a new approach to the celebrated theorem of Rado–Kneser–Choquet (RKC) on univalence of planar harmonic mappings. The novelty lies in establishing a continuous path (isotopy) from the given harmonic map to a conformal one. Along this path the mappings retain positive Jacobian determinant by virtue of so-called Minimum Principle. These ideas extend to nonlinear uncoupled systems of partial differential equations, as in Iwaniec, Koski and Onninen [‘Isotropic p-harmonic systems in 2D, Jacobian estimates and univalent solutions’, Rev. Mat. Iberoam, to appear]. Unfortunately, details of such digression would lead us too far afield. Nonetheless, one gains (in particular) the RKC-Theorem…

Protoalgebraicity and the Deduction Theorem

2001

This chapter is intended as an introduction to the Deduction Theorem and to applications of this theorem in metalogic.

The Second Main Theorem

1998

$$\mathscr {K}$$-Convergence of Finite Volume Solutions of the Euler Equations

2020

We review our recent results on the convergence of invariant domain-preserving finite volume solutions to the Euler equations of gas dynamics. If the classical solution exists we obtain strong convergence of numerical solutions to the classical one applying the weak-strong uniqueness principle. On the other hand, if the classical solution does not exist we adapt the well-known Prokhorov compactness theorem to space-time probability measures that are generated by the sequences of finite volume solutions and show how to obtain the strong convergence in space and time of observable quantities. This can be achieved even in the case of ill-posed Euler equations having possibly many oscillatory s…